In order to solve the difficult problem of carrying on the long- distance management to the user terminal from the netwo......

Ｓｐｉ演算通过在Ｐｉ演算中增加描述密码学协议的原语支持对基于共享密钥的安全协议的描述，通过测试等价Ｓｐｉ演算简化了所描述的安全协议的验证，它......